Software verification - PDFSEARCH.IO - Document Search Engine

Software verification
Results: 1531

#	Item
711	Formal Methods in Industry: Achievements, Problems, Future Jean-Raymond Abrial Swiss Federal Institute of Technology Zurich [removed] Add to Reading List Source URL: www.irisa.fr Language: English - Date: 2006-05-20 23:41:24 Theoretical computer science Software development process Mathematical proof KeY B-Method Scientific modelling Model-based testing Formal verification Formal methods Science Software development
712	¨ t Augsburg Universita Formal Verification of Information Flow Secure Systems with IFlow Add to Reading List Source URL: www.isse.uni-augsburg.de Language: English - Date: 2014-12-01 09:12:56 Software engineering Design Diagrams Automata theory Models of computation Class diagram Stereotype Activity diagram Sequence diagram UML diagrams Unified Modeling Language Data modeling
713	TUM TECHNISCHE UNIVERSITÄT MÜNCHEN INSTITUT FÜR INFORMATIK Seminar: Embedded Systems Add to Reading List Source URL: planetic.es Language: English - Date: 2015-01-29 04:44:26 Electronic engineering Embedded systems Central processing unit Operating system Formal verification Embedded software Advanced Learning and Research Institute Ring SIGNAL Formal methods Computing Electronics
714	Microsoft PowerPoint - S2_IL5_LSibbesen.pptx Add to Reading List Source URL: www.eurachem.org Language: English - Date: 2015-02-05 19:21:26 Clinical research Quality Validation Verification and validation Software development process Cross-validation Pharmaceutical industry Validity Science
715	TEST RANGES HMS Nyköping doing test runs outside Karlskrona. (Photo: Kockums AB) Test and Evaluation - Marine Products General Add to Reading List Source URL: fmv.se Language: English - Date: 2011-12-07 07:19:16 Watercraft Visby class corvette Vidsel Software testing HMS Visby Defence Materiel Administration Verification and validation Validation FMV Pharmaceutical industry Validity Systems engineering
716	CAGE Code Reference Revision Date Page Add to Reading List Source URL: www.ruag.com Language: English - Date: 2014-11-20 02:20:06 Software RUAG First article inspection Document management system SAP AG Revision control Verification Public key certificate Computing Technology Quality control
717	SpaceStudio Hardware Software Codesign Tool Expands Offering to New SoC Design Markets Space Codesign Systems has released SpaceStudio[removed]which brings virtualization and HW/SW partitioning to SoC design for a wider ra Add to Reading List Source URL: www.prweb.com Language: English - Date: 2014-03-31 08:01:35 Electronic system-level design and verification Systems design CPU design Electronic design automation Electronic engineering Embedded system
718	Automated Test Generation And Verified Software ? John Rushby Computer Science Laboratory SRI International 333 Ravenswood Avenue Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-10-05 05:25:44 Software verification Formal verification Model checking Formal methods Software development process Verification and validation Reliability engineering Unit testing Test-driven development Software testing Software development Software
719	The Verified Software Challenge: A Call for a Holistic Approach to Reliability Thomas Ball Microsoft Research, Redmond, WA, USA, Email: [removed] 1 Add to Reading List Source URL: vstte.inf.ethz.ch Language: English - Date: 2005-05-11 09:32:12 Device drivers Windows NT Microsoft Research Singularity Operating system Kernel Device driver SLAM project Device driver synthesis and verification Computer architecture Computing System software
720	Automated verification of resource requirements in multi-agent systems using abstraction? Natasha Alechina, Brian Logan, Hoang Nga Nguyen, and Abdur Rakib University of Nottingham, UK nza,bsl,hnn,[removed] Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2010-05-05 07:12:06 Modal logic Software engineering Logic Non-classical logic Maude system

UPDATE